every homomorphic image of a group g is isomorphic to some quotient group of g